A Mathematical Introduction to Logic Learning 学习记录

#mathematical_logic

Chapter 1 Sentential Logic
Chapter 2 First-Order Logic
Effectiveness and Computability
Model of Theories